大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Model Driven Architecture-Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

0
索取号:
作者:Schieferdecker、 Ina.、Hartman、 Alan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

0
索取号:
作者:Hoogeboom、 Hendrik Jan.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and High Performance Computing III [electronic resource] : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

0
索取号:
作者:Krause、 Egon.、Shokin、 Yurii I.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trusted Computing - Challenges and Applications [electronic resource] : First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings

0
索取号:
作者:Lipp、 Peter.、Sadeghi、 Ahmad-Reza.、Koch、 Klaus-Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers

0
索取号:
作者:Despotovic、 Zoran.、Joseph、 Sam.、Sartori、 Claudio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Intelligence: Research Frontiers [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures

0
索取号:
作者:Zurada、 Jacek M.、Yen、 Gary G.、Wang、 Jun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Historical Encyclopedia of Natural and Mathematical Sciences [electronic resource]

0
索取号:
作者:Ben-Menahem、 Ari.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Artificial Intelligence [electronic resource] : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings

0
索取号:
作者:Bergler、 Sabine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High Performance Computing on Vector Systems 2006 [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2006

0
索取号:
作者:Resch、 Michael.、B枚nisch、 Thomas.、Tiyyagura、 Sunil.、Furui、 Toshiyuki.、Seo、 Yoshiki.、Bez、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Models of Financial Derivatives [electronic resource]

0
索取号:
作者:Kwok、 Yue-Kuen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

A Mathematical Introduction to Conformal Field Theory [electronic resource]

0
索取号:
作者:Schottenloher、 M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Technical English for Geosciences [electronic resource]

0
索取号:
作者:Markner-J盲ger、 Brigitte.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Tools for High Performance Computing [electronic resource] : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

0
索取号:
作者:Resch、 Michael.、Keller、 Rainer.、Himmler、 Valentin.、Krammer、 Bettina.、Schulz、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice

0
索取号:
作者:Pasko、 Alexander.、Adzhiev、 Valery.、Comninos、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

DNA Computing [electronic resource] : 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

0
索取号:
作者:Mao、 Chengde.、Yokomori、 Takashi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类